3.6.8 \(\int x^3 (a+b \log (c (d+\frac {e}{x^{2/3}})^n)) \, dx\) [508]

Optimal. Leaf size=143 \[ \frac {b e^5 n x^{2/3}}{4 d^5}-\frac {b e^4 n x^{4/3}}{8 d^4}+\frac {b e^3 n x^2}{12 d^3}-\frac {b e^2 n x^{8/3}}{16 d^2}+\frac {b e n x^{10/3}}{20 d}-\frac {b e^6 n \log \left (d+\frac {e}{x^{2/3}}\right )}{4 d^6}+\frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{x^{2/3}}\right )^n\right )\right )-\frac {b e^6 n \log (x)}{6 d^6} \]

[Out]

1/4*b*e^5*n*x^(2/3)/d^5-1/8*b*e^4*n*x^(4/3)/d^4+1/12*b*e^3*n*x^2/d^3-1/16*b*e^2*n*x^(8/3)/d^2+1/20*b*e*n*x^(10
/3)/d-1/4*b*e^6*n*ln(d+e/x^(2/3))/d^6+1/4*x^4*(a+b*ln(c*(d+e/x^(2/3))^n))-1/6*b*e^6*n*ln(x)/d^6

________________________________________________________________________________________

Rubi [A]
time = 0.07, antiderivative size = 143, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.136, Rules used = {2504, 2442, 46} \begin {gather*} \frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{x^{2/3}}\right )^n\right )\right )-\frac {b e^6 n \log \left (d+\frac {e}{x^{2/3}}\right )}{4 d^6}-\frac {b e^6 n \log (x)}{6 d^6}+\frac {b e^5 n x^{2/3}}{4 d^5}-\frac {b e^4 n x^{4/3}}{8 d^4}+\frac {b e^3 n x^2}{12 d^3}-\frac {b e^2 n x^{8/3}}{16 d^2}+\frac {b e n x^{10/3}}{20 d} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[x^3*(a + b*Log[c*(d + e/x^(2/3))^n]),x]

[Out]

(b*e^5*n*x^(2/3))/(4*d^5) - (b*e^4*n*x^(4/3))/(8*d^4) + (b*e^3*n*x^2)/(12*d^3) - (b*e^2*n*x^(8/3))/(16*d^2) +
(b*e*n*x^(10/3))/(20*d) - (b*e^6*n*Log[d + e/x^(2/3)])/(4*d^6) + (x^4*(a + b*Log[c*(d + e/x^(2/3))^n]))/4 - (b
*e^6*n*Log[x])/(6*d^6)

Rule 46

Int[((a_) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d*x
)^n, x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] && ILtQ[m, 0] && IntegerQ[n] &&  !(IGtQ[n, 0] && Lt
Q[m + n + 2, 0])

Rule 2442

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))*((f_.) + (g_.)*(x_))^(q_.), x_Symbol] :> Simp[(f + g*
x)^(q + 1)*((a + b*Log[c*(d + e*x)^n])/(g*(q + 1))), x] - Dist[b*e*(n/(g*(q + 1))), Int[(f + g*x)^(q + 1)/(d +
e*x), x], x] /; FreeQ[{a, b, c, d, e, f, g, n, q}, x] && NeQ[e*f - d*g, 0] && NeQ[q, -1]

Rule 2504

Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_)^(n_))^(p_.)]*(b_.))^(q_.)*(x_)^(m_.), x_Symbol] :> Dist[1/n, Subst[I
nt[x^(Simplify[(m + 1)/n] - 1)*(a + b*Log[c*(d + e*x)^p])^q, x], x, x^n], x] /; FreeQ[{a, b, c, d, e, m, n, p,
q}, x] && IntegerQ[Simplify[(m + 1)/n]] && (GtQ[(m + 1)/n, 0] || IGtQ[q, 0]) &&  !(EqQ[q, 1] && ILtQ[n, 0] &&
IGtQ[m, 0])

Rubi steps

\begin {align*} \int x^3 \left (a+b \log \left (c \left (d+\frac {e}{x^{2/3}}\right )^n\right )\right ) \, dx &=-\left (\frac {3}{2} \text {Subst}\left (\int \frac {a+b \log \left (c (d+e x)^n\right )}{x^7} \, dx,x,\frac {1}{x^{2/3}}\right )\right )\\ &=\frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{x^{2/3}}\right )^n\right )\right )-\frac {1}{4} (b e n) \text {Subst}\left (\int \frac {1}{x^6 (d+e x)} \, dx,x,\frac {1}{x^{2/3}}\right )\\ &=\frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{x^{2/3}}\right )^n\right )\right )-\frac {1}{4} (b e n) \text {Subst}\left (\int \left (\frac {1}{d x^6}-\frac {e}{d^2 x^5}+\frac {e^2}{d^3 x^4}-\frac {e^3}{d^4 x^3}+\frac {e^4}{d^5 x^2}-\frac {e^5}{d^6 x}+\frac {e^6}{d^6 (d+e x)}\right ) \, dx,x,\frac {1}{x^{2/3}}\right )\\ &=\frac {b e^5 n x^{2/3}}{4 d^5}-\frac {b e^4 n x^{4/3}}{8 d^4}+\frac {b e^3 n x^2}{12 d^3}-\frac {b e^2 n x^{8/3}}{16 d^2}+\frac {b e n x^{10/3}}{20 d}-\frac {b e^6 n \log \left (d+\frac {e}{x^{2/3}}\right )}{4 d^6}+\frac {1}{4} x^4 \left (a+b \log \left (c \left (d+\frac {e}{x^{2/3}}\right )^n\right )\right )-\frac {b e^6 n \log (x)}{6 d^6}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.08, size = 134, normalized size = 0.94 \begin {gather*} \frac {a x^4}{4}+\frac {1}{4} b x^4 \log \left (c \left (d+\frac {e}{x^{2/3}}\right )^n\right )-\frac {1}{4} b e n \left (-\frac {e^4 x^{2/3}}{d^5}+\frac {e^3 x^{4/3}}{2 d^4}-\frac {e^2 x^2}{3 d^3}+\frac {e x^{8/3}}{4 d^2}-\frac {x^{10/3}}{5 d}+\frac {e^5 \log \left (d+\frac {e}{x^{2/3}}\right )}{d^6}+\frac {2 e^5 \log (x)}{3 d^6}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[x^3*(a + b*Log[c*(d + e/x^(2/3))^n]),x]

[Out]

(a*x^4)/4 + (b*x^4*Log[c*(d + e/x^(2/3))^n])/4 - (b*e*n*(-((e^4*x^(2/3))/d^5) + (e^3*x^(4/3))/(2*d^4) - (e^2*x
^2)/(3*d^3) + (e*x^(8/3))/(4*d^2) - x^(10/3)/(5*d) + (e^5*Log[d + e/x^(2/3)])/d^6 + (2*e^5*Log[x])/(3*d^6)))/4

________________________________________________________________________________________

Maple [F]
time = 0.02, size = 0, normalized size = 0.00 \[\int x^{3} \left (a +b \ln \left (c \left (d +\frac {e}{x^{\frac {2}{3}}}\right )^{n}\right )\right )\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x^3*(a+b*ln(c*(d+e/x^(2/3))^n)),x)

[Out]

int(x^3*(a+b*ln(c*(d+e/x^(2/3))^n)),x)

________________________________________________________________________________________

Maxima [A]
time = 0.28, size = 97, normalized size = 0.68 \begin {gather*} \frac {1}{4} \, b x^{4} \log \left (c {\left (d + \frac {e}{x^{\frac {2}{3}}}\right )}^{n}\right ) + \frac {1}{4} \, a x^{4} + \frac {1}{240} \, b n {\left (\frac {12 \, d^{4} x^{\frac {10}{3}} - 15 \, d^{3} x^{\frac {8}{3}} e + 20 \, d^{2} x^{2} e^{2} - 30 \, d x^{\frac {4}{3}} e^{3} + 60 \, x^{\frac {2}{3}} e^{4}}{d^{5}} - \frac {60 \, e^{5} \log \left (d x^{\frac {2}{3}} + e\right )}{d^{6}}\right )} e \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^3*(a+b*log(c*(d+e/x^(2/3))^n)),x, algorithm="maxima")

[Out]

1/4*b*x^4*log(c*(d + e/x^(2/3))^n) + 1/4*a*x^4 + 1/240*b*n*((12*d^4*x^(10/3) - 15*d^3*x^(8/3)*e + 20*d^2*x^2*e
^2 - 30*d*x^(4/3)*e^3 + 60*x^(2/3)*e^4)/d^5 - 60*e^5*log(d*x^(2/3) + e)/d^6)*e

________________________________________________________________________________________

Fricas [A]
time = 0.39, size = 159, normalized size = 1.11 \begin {gather*} \frac {60 \, b d^{6} x^{4} \log \left (c\right ) + 60 \, a d^{6} x^{4} - 120 \, b d^{6} n \log \left (x^{\frac {1}{3}}\right ) + 20 \, b d^{3} n x^{2} e^{3} + 60 \, {\left (b d^{6} n - b n e^{6}\right )} \log \left (d x^{\frac {2}{3}} + e\right ) + 60 \, {\left (b d^{6} n x^{4} - b d^{6} n\right )} \log \left (\frac {d x + x^{\frac {1}{3}} e}{x}\right ) - 15 \, {\left (b d^{4} n x^{2} e^{2} - 4 \, b d n e^{5}\right )} x^{\frac {2}{3}} + 6 \, {\left (2 \, b d^{5} n x^{3} e - 5 \, b d^{2} n x e^{4}\right )} x^{\frac {1}{3}}}{240 \, d^{6}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^3*(a+b*log(c*(d+e/x^(2/3))^n)),x, algorithm="fricas")

[Out]

1/240*(60*b*d^6*x^4*log(c) + 60*a*d^6*x^4 - 120*b*d^6*n*log(x^(1/3)) + 20*b*d^3*n*x^2*e^3 + 60*(b*d^6*n - b*n*
e^6)*log(d*x^(2/3) + e) + 60*(b*d^6*n*x^4 - b*d^6*n)*log((d*x + x^(1/3)*e)/x) - 15*(b*d^4*n*x^2*e^2 - 4*b*d*n*
e^5)*x^(2/3) + 6*(2*b*d^5*n*x^3*e - 5*b*d^2*n*x*e^4)*x^(1/3))/d^6

________________________________________________________________________________________

Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x**3*(a+b*ln(c*(d+e/x**(2/3))**n)),x)

[Out]

Exception raised: SystemError >> excessive stack use: stack is 4848 deep

________________________________________________________________________________________

Giac [A]
time = 4.27, size = 103, normalized size = 0.72 \begin {gather*} \frac {1}{4} \, b x^{4} \log \left (c\right ) + \frac {1}{4} \, a x^{4} + \frac {1}{240} \, {\left (60 \, x^{4} \log \left (d + \frac {e}{x^{\frac {2}{3}}}\right ) + {\left (\frac {12 \, d^{4} x^{\frac {10}{3}} - 15 \, d^{3} x^{\frac {8}{3}} e + 20 \, d^{2} x^{2} e^{2} - 30 \, d x^{\frac {4}{3}} e^{3} + 60 \, x^{\frac {2}{3}} e^{4}}{d^{5}} - \frac {60 \, e^{5} \log \left ({\left | d x^{\frac {2}{3}} + e \right |}\right )}{d^{6}}\right )} e\right )} b n \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^3*(a+b*log(c*(d+e/x^(2/3))^n)),x, algorithm="giac")

[Out]

1/4*b*x^4*log(c) + 1/4*a*x^4 + 1/240*(60*x^4*log(d + e/x^(2/3)) + ((12*d^4*x^(10/3) - 15*d^3*x^(8/3)*e + 20*d^
2*x^2*e^2 - 30*d*x^(4/3)*e^3 + 60*x^(2/3)*e^4)/d^5 - 60*e^5*log(abs(d*x^(2/3) + e))/d^6)*e)*b*n

________________________________________________________________________________________

Mupad [B]
time = 0.70, size = 112, normalized size = 0.78 \begin {gather*} \frac {x^{10/3}\,\left (\frac {b\,e\,n}{5\,d}-\frac {b\,e^2\,n}{4\,d^2\,x^{2/3}}-\frac {b\,e^4\,n}{2\,d^4\,x^2}+\frac {b\,e^3\,n}{3\,d^3\,x^{4/3}}+\frac {b\,e^5\,n}{d^5\,x^{8/3}}\right )}{4}+\frac {a\,x^4}{4}+\frac {b\,x^4\,\ln \left (c\,{\left (d+\frac {e}{x^{2/3}}\right )}^n\right )}{4}-\frac {b\,e^6\,n\,\mathrm {atanh}\left (\frac {2\,e}{d\,x^{2/3}}+1\right )}{2\,d^6} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x^3*(a + b*log(c*(d + e/x^(2/3))^n)),x)

[Out]

(x^(10/3)*((b*e*n)/(5*d) - (b*e^2*n)/(4*d^2*x^(2/3)) - (b*e^4*n)/(2*d^4*x^2) + (b*e^3*n)/(3*d^3*x^(4/3)) + (b*
e^5*n)/(d^5*x^(8/3))))/4 + (a*x^4)/4 + (b*x^4*log(c*(d + e/x^(2/3))^n))/4 - (b*e^6*n*atanh((2*e)/(d*x^(2/3)) +
1))/(2*d^6)

________________________________________________________________________________________